
iasl_sources += iasl_gen.process(
  'i440fx.asl',
  'q35.asl',
  'cpu_container.asl'
)
